TSTP Solution File: PUZ109^5 by SInE---0.4